- (a) system of checking
- a system of checking (of memory training, of typing) система контроля (тренировки памяти, печатания)
Большой англо-русский учебный словарь сочетаемости. Кауль М.Р., Хидекель С.С. 2010.
(a) system of checking
Смотреть что такое "(a) system of checking" в других словарях:
System F — System F, also known as the polymorphic lambda calculus or the second order lambda calculus, is a typed lambda calculus. It was discovered independently by the logician Jean Yves Girard and the computer scientist John C. Reynolds. System F… … Wikipedia
System programming — Systems programming (or system programming) is the activity of programming system software. The primary distinguishing characteristic of systems programming when compared to application programming is that application programming aims to produce… … Wikipedia
System accident — A system accident is an unanticipated interaction of multiple failures in a complex system. This complexity can either be technological or organizational, and often is both.[1] A system accident can be very easy to see in hindsight, but very… … Wikipedia
checking chip — patikros lustas statusas T sritis radioelektronika atitikmenys: angl. checking chip; expert system chip vok. Expertensystem Chip, n rus. кристалл ИС экспертной системы, m pranc. puce de système expert, f … Radioelektronikos terminų žodynas
History of the English fiscal system — The history of the English fiscal system affords the best known example of continuous financial development in terms of both institutions and methods. Although periods of great upheaval occurred from the time of the Norman Conquest to the… … Wikipedia
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model Checking — (deutsch auch Modellprüfung) ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation (Formel). Der Begriff ist motiviert durch die mathematische Formulierung des Problems: Für eine gegebene… … Deutsch Wikipedia
Motion picture rating system — Parental Guidance redirects here. For the Singaporean TV series, see Parental Guidance (TV series). For the Judas Priest song, see Parental Guidance (song). A motion picture rating system is designated to classify films with regard to suitability … Wikipedia
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Federal Reserve System — FRB and FED redirect here. For other uses, see FRB (disambiguation) and FED (disambiguation). Federal Reserve System … Wikipedia
